Nuprl Definition : eq_knd
0,22
postcript
pdf
a
=
b
== eqof(KindDeq)(
a
,
b
)
latex
Definitions
KindDeq
,
eqof(
d
)
FDL editor aliases
eq_knd
origin